Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
771	PDF Document Add to Reading List Source URL: www.brics.dk Language: English - Date: 1996-10-15 05:57:34 Functional programming Lambda calculus Type theory Data types Theoretical computer science Type system Continuation-passing style Simply typed lambda calculus C Sharp Software engineering Computing Computer programming
772	PDF Document Add to Reading List Source URL: www.brics.dk Language: English - Date: 1996-10-15 05:57:12 Models of computation Type theory Data types Programming language implementation Logic in computer science Denotational semantics Partial evaluation Programming language Subtype polymorphism Software engineering Computing Programming language theory
773	PDF Document Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:04 Mathematics Probability and statistics Randomness Philosophy of thermal and statistical physics Entropy Statistical theory Topological entropy Subshift of finite type Volume entropy Ergodic theory Statistics Information theory
774	DOC Document Add to Reading List Source URL: asmrfiles.org.au Language: English - Date: 2015-04-30 18:51:15 Knowledge Type system Type theory Abstract Academic publishing
775	Report from Dagstuhl SeminarFoundations for Scripting Languages Edited by Robert Hirschfeld1 , Shriram Krishnamurthi2 , and Jan Vitek3 Add to Reading List Source URL: www.hpi.uni-potsdam.de Language: English - Date: 2015-05-08 07:57:29 Scripting languages Type theory Cross-platform software JavaScript Racket Programming language Dynamic programming language Lua Python Computing Software engineering Software
776	PDF Document Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2002-01-23 08:33:00 Type theory Functional languages Data types Type systems Quantification ATS Hindley–Milner F Sharp System F Software engineering Computing Programming language theory
777	PDF Document Add to Reading List Source URL: herbert.the-little-red-haired-girl.org Language: English - Date: 2009-07-29 03:21:48 Object-oriented programming Method C++ Type theory Software design patterns Virtual function C++ classes Polymorphism Abstract type Software engineering Computer programming Computing
778	Universe Subtyping in Martin-L¨of Type Theory Internship Report Gabriel Scherer under the supervision of Andreas Abel Revised version: August 24, 2011 The pragmatic goal of this internship was to establish the theoretic Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-05-30 11:20:39 Logical syntax Metalogic Philosophical logic Propositional calculus Natural deduction Curry–Howard correspondence Logic Deduction Entailment
779	Themis List of Values (Auto Reduction) List of Values The List of Values (LOV) provides users with an easy-to-use data entry method that increases accuracy and productivity. If you invoke a LOV and it contains a very lon Add to Reading List Source URL: themis.unimelb.edu.au Language: English - Date: 2014-01-16 23:01:22 Programming language theory C Cross-platform software AS/400 Control Language Data type Window Computing Software engineering Procedural programming languages
780	DOE/SC-ARM/TR-097 Radiatively Important Parameters Best Estimate (RIPBE): An ARM Value-Added Product S McFarlane Add to Reading List Source URL: www.arm.gov Language: English - Date: 2011-06-30 11:36:35 Variables Climate model CLIMAT Parameter Control theory Computing Software engineering Mathematics Type theory

UPDATE